//filename: t_main.h
extern int menu();
int main();
